CNS-1 Architecture Specification
نویسندگان
چکیده
Preface In the past two decades, the fields of VLSI systems design and massively parallel computation have grown into mature disciplines. Both fields began as research topics in industrial and academic laboratories; today, they form the core technologies for several large corporations. This report proposes a massively parallel computer, the Connectionist Network Supercomputer (CNS-1), which leverages off these fields. By targeting the computer to connectionist networks and related applications, we can focus on custom chip design and efficient software to achieve performance goals which challenge the best that industry has to offer. Why are we building such a project in an academic environment? Three different issues have motivated us to design and construct the CNS-1. The first issue involves the difficulty in applying neural network techniques to very large problems. Our research in the area of speech recognition has shown that current neural algorithms are helpful in solving problems with up to one million parameters. Performing this work cost-effectively required the construction of a smaller custom neurocomputer. Will the same algorithms work for one billion parameters? To answer this question requires a system that can train very large networks one thousand times faster than our current machines. Commercial machines with this capability do not exist. The second issue relates to the field of computer architecture. A strong distinction, apparent in the publications of the field, exists between projects that are actually realized and those which are merely paper designs. As faculty, staff and students at a leading school of computer architecture, we believe it is important to be involved in the design and construction of applied software and hardware systems. The third issue is the application of VLSI chip technology to system design. Dealing with the complexity of competitive VLSI design is a daunting challenge for an academic research group. However, several factors have led us to include custom VLSI design as a key element in the CNS-1 project. Technically, only custom VLSI lets us exploit the simplicity and parallelism of connectionist computation. From an academic standpoint, we believe university VLSI programs must undertake design projects that meet and challenge the industrial state of the art, and that these projects must be pushed to fabrication, test, and use in prototype systems. This approach teaches students relevant perspectives on VLSI design, and results in significant contributions to the engineering literature. The goal of the CNS-1 project is to produce a system …
منابع مشابه
Genetic mechanisms behind cell specification in the Drosophila CNS
............................................................................................. 5 INTRODUCTION ..................................................................................... 7 The fundamental questions of developmental neurobiology .............. 7 Evolution, structure and function of the CNS ..................................... 9 The cells of the nervous system: neurons...
متن کاملFormal Specification of Operating System Operations
This paper describes the development of a formal specification of a secure operating system architecture and its security-related operations in higher-order logic theorem prover, HOL. We specify operating system entities as user defined data types and security conditions as predicates that restricts system operations. We also provide a uniform environment for system commands that change securit...
متن کاملDefining formalisms and models in the Draw-Net Modelling System
This paper presents the Draw-Net Modelling System (DMS), a framework for the design and the solution of models expressed in any (graph based) formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In this paper, the general open architecture of the DMS framework and the formal specification of ...
متن کاملDistributed Information System as a System of Asynchronous Concurrent Processes
Nowadays enterprise information systems are designed as distributed network systems, where existing information systems and new components are connected together via a middleware. In most cases, architectures of the systems can be described informally or semiformally by means of common design tools. But there are also critical applications where an information system is getting involved, and a ...
متن کاملApplications for multilevel secure operating systems
Specification of a Muitics Security Kernel," ESD-TR-77-259. Vols. I-III, The MITRE Corporation, Bedford, Massachusetts. 12. Ames. S. R., J. K. Millen. "Interface Verification for A Security Ker-nel," INFOTECH State of the Art Report: System Reliability and Integrity. Vol. 2, INFOTECH International, pp. 1-22. 13. Popek, G. J., et al.. "UCLA Data Secure UNIX-A Securable OperatingSystem: S...
متن کاملAdvanced Methods of Information System Development Title: Advanced Methods of Information System Development Subtitle: Formal-based Component Model with Support of Mobile Architecture Field of Specialisation: Information Systems
Increasing globalisation of information society and its progression create needs for extensive and reliable information technology solutions. Common features of current information systems have significant impact on a software architecture of the systems. The systems can not be realised as monoliths, exact specification of functions and interfaces of the systems’ parts are necessary, as well as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993